A contract-based installation methodology for safety-related automotive systems
A Contract-Based Installation Methodology for Safety-Related Automotive Systems
Model-based Toolchain for the Efficient Development of Safety-Relevant Automotive Embedded Systems